perm filename CMSSI9.360[360,GF] blob sn#868295 filedate 1989-01-11 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'βH↔ε∩p_L'#→L&4  GβQp∂∧@UXβ⊗`eP↓@ 5P↓@ EH↓@@EH↓@@E@↓@`E8α`E8↓A 50α↓ 50↓A@E(α↓@E α↓`E α↓`E_ααE_↓B E⊂αα@E⊂↓B`Eλ	TαE
∪`@hα∪`0pαS@@xα∪ Aα∪ Aα∪Aλα∪Aλα∩`A⊂α∩`1 α⊃(D⊂
πcapββj↓λ(∧J ∧AJ ¬A)p εA	p εA	p πip εA	p ε@i` εA	` ε↓	` ¬↓)aλ'∧	Q⊂&A↓8&A↓0(&A↓@ &↓↓` &↓↓` &↓↓` &↓↓` &↓↓` %A↓` %A↓P %A↓@(%A↓⊂8%DI!⊂%βhT !F#r∂CA¬0ε∃↓u_β↓@EλαB`∃αS`Txα∪@Dhα∪ D`α∪DXα∩`DXα∩@DPα∩@DPα∩@DPα∩@DPα∩@TXα∩`D`α∪P`↓∪ `8αSB¬εTA∧("⊃βBλ∂π@`x(∧*↓⊂(↓↓⊂0(↓↓0('A↓P 'A↓P('A↓` 'A↓` 'A↓p '↓α '↓α '↓α '↓α '↓α_&Aα &Aα &Aα &Aα_&↓α &↓α &↓↓p &↓↓` &↓↓` %A↓` %A↓P %A↓0(%A↓⊂0%DI!λ%βHT "FCqp∂↓B5	Tα5α∀Dxα∪`Dxα∪`Dxα∪@Dpα∪@Dp	∪B$h	∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩bDP
∩BD("⊃C⊃p∂π@a⊂(∧J↓⊂(↓
 'A	p 'A	p 'A	` '↓	` '↓	a&D	Q&A	P &↓	@ &↓	@ &↓	0 %A	0 %A	0 %↓	  "QλqX⊂Hβpx∧∃Ae λT``8αT@PX↓∀Uα∪`Dpα∪ Dhα∪D`α∩`DXα∩`DPα∩@DPααa∀Pααa∀PααA∀Pαβ`DPαβ`DPαβ`DPαC@DXαβ DXαβ D`αβDhαα`DhβαTpλT↓e⊂∧⊃(D@∞HCapβ↓↓` (↓↓` (↓↓` (↓↓` (↓↓` 'A↓` 'A↓` 'A↓` 'A↓` 'A↓` '↓↓` '↓↓` '↓↓` '¬Ia0&EIP π↓	P π↓	P π↓	@ π↓	@ π↓	@ π↓	@ π↓	@ π↓	0 π↓	0 π↓	0 π↓	0 π↓	0 π↓	  π↓	  π↓λT $Baqp∂↓@Eα∀Eα∀Dxα∪`Dxα∪`Dxα∪@Dpα∪@Dpα∪@Dhα∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩`DPα∩@D("∩Ba@∂GB⊂ -A0 -A0 -↓  -↓  -↓⊂ ,A⊂ ,A⊂ ,↓ ,↓ +A
p +A
p +A
` +↓
` %@!⊂ %@``(%βI@P'↓HT %GD1p∂↓@@pαT@hαT@`αT@XαT@PαS`@Pα∪`@Hα∪`@8αS`@0αS`@(αS@@(αS@@ αS@@_αS@@⊂βS@@λ∧∪ @λα Dh∧`DhβADhβ↓ T`β↓`D`αBT`αα@D`αα@D`αα`DXαβDXαβTXαβ DXαβ TXαβ@DPαβ`DPα∧D("∪α!8∂π@` (↓
 (↓
 'A	p 'A	p 'A	` '↓	` '↓	` &A	P &A	P &↓	@ &↓	@ &↓	0 %A	0 %A	1λ%∧)!λ"Q	R ∀GC`0β∧ eβ∧ eβ∧uα ⊃↓ Eα ⊂x↓@ Dxα@⊂x↓ Dxα@⊂p↓@ Dxα@ `↓@@Dxα@ `↓@@Dxα@ Xα@Dpα` X↓@@Dpα` Pα@Dpα` P↓@`Dpα` Hα`Dpα`0@↓ADhα↓08α`Dhα↓00α↓Dhα↓00α↓Dhα↓0(α↓ D`α↓ 0(α↓D`α↓ 0 α↓ D`α↓@  ↓A@D`α↓@ _α↓@D`α↓@ _↓A`DXα↓` ⊂α↓@DXα↓` ⊂↓A`DXα↓` λα↓`DXα↓``@α∩`@@αBDPαα @@α∩@A(α⊃(Dp∞HCapβ↓a0 (↓a0 (↓a0 (↓⊂⊂¬A
 @a  'A _∧A	p ↓a⊂ 'A _∧A	p ↓↓↓ 'A  ∧↓	` α`p '↓@_βA	` α`p '↓@ β↓	` α↓` &AP αA	P β`P &A` α↓	P β↓@ &↓p ↓A	@ ∧`0 &↓↓_↓A	@ ∧`0 &↓↓ ↓↓	0 ∧A⊂ %A↓ _A	0 ¬`⊂ %A↓ _A	0 ¬α	  ε↓I  ε↓HT 'G∧"∂C@e(ε∃↓e⊂β↓ eλαB UαβDxαβ@Dpαβ`Dpαβ`Dhα∧ 4h↓D@D`α∧@D`↓D`DXα∧`DXα∧`DXα∧`4Pα∧`DPα∧`DPα∧`DPα∧@DPα∧@DPα∧@DPα∧ DPα∧TPα∧DXαβ@DXαβ DXαB`T`αB ThαA@Tpπ∪a5λβQ(EGCapββJ↓(∧* ∧↓J ¬↓	p ε↓	p ε↓	p ε↓	p ε↓	p ε↓	` ε@i` ε↓	` ¬A	` ¬↓	` ∧↓IQλ&D	Ph&A	@ &↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT (G∧"(∂C@e(ε∃↓e⊂β↓ eλαB UαB`Dxαβ TpαC@Dpαβ`Dhα∧Dhα∧ D`α∧@D`α∧@DXα∧`DXα∧`DXα∧@DPα∧`DPα∧`DPα∧`DPα∧@DPα∧@DPα∧@DPα∧ DPα↓`@0α∩@@8α↓ DXα↓@P_α∩`@8α@DXαAA$`αAA∧hαA dpπ∪aeλβ@ EHαV UPαV@UXα⊃(E⊂
πcapββJ↓λ(∧J ∧AJ ¬A	p εA	p εA	p εA	p εA	p ε@i` εA	` ε↓	` ¬A)` ∧AIaλ&D)Pp&Ap &Ap &↓↓⊂_&↓↓⊂ &↓↓⊂ &↓↓  &↓↓  %A↓0 %A↓@ %A↓@ %A↓P %A↓P %↓↓` %↓↓p "Q
1@
HβphβU!E_πT@P0αT @P↓∀Eα∪`Dxα∪`Dxα∪`DxαS`u¬∀!5⊂¬U!∃HαV@UPαV`EXα⊗`EXα⊗@EPα∩@ hα∩@@Pα∩@`0αRat`εS`t("∃β2_∂π@↓P%εI!P*A
P *↓
@ *↓
@ *↓
0 )A
0 )A
0 )↓
  )↓
  (A
⊂ (A
⊂ (A
 (↓
 (↓
 'A	p "Q
QP⊂Gc` αβ Dpαβ Dpαβ Dpαβ Dpαβ Dhαβ Dhαβ Dhαβ Dhαβ Dhαβ D`αβ D`αβ D`αβ D`αβ D`αβ DXαβ DXαβ DXαβ DXαβ DPαβ DPαβ DPαβ DPαβ DPαβDPαβDPαα`DPαB DXααTXβ↓d`εS!4xβ⊃(E0∞Iβap↓αP %↓"0 %Aα  %Aα  %Aα⊂ %Aα⊂ %A!p &↓↓` &↓↓` &↓↓P &↓↓P &↓↓@ &↓!  &A↓  &A↓⊂ &A↓⊂ &A↓ &A↓_&Ap '↓P '↓P '↓@ '↓@_'↓0 '@`0_'@`  '@` _'@`⊂_'Aip0(↓(T +JF⊃p∂@pββ@DPαβ phα∩@@hβC DPαβ p`α∩`@X∧βDXαα`0λαα`DXαα@@⊂↓B`DXαα@0_↓B@DXαα @_↓B@DXαα 0 ↓B DXαα@ ↓B DXαα0(α↓`DXα↓`@(α↓`DXα↓`00α↓`4Xα↓@@0α↓@DXα↓@08α↓@4Xα↓ @8α↓ DXα↓ 0@α↓ 4Xα↓@@α↓D`↓A0Hα↓4`↓A0Hα`D`↓@`0X↓@`4`↓@`0X↓@@D`↓@@0`↓@@4`↓@@0`↓@@4`↓@@ h↓@ 4`↓@ 0h↓@ 4`↓@  p↓@ $`ββ@d`αC`T`αC`T("⊗∧∩⊂∂π@p(λ↓*  πA* (εA*0 ε↓*0(¬↓*@(∧↓*P βA*P(αA*` αA
`(↓A
p ↓↓
pH,↓k0,A0+Aj`H*A ⊂ *↓ 0 *↓@ )A` )↓p((A↓⊂ (↓↓ ('A↓@ '↓↓P(&A↓p &↓!p(%A"⊂(%↓" ("Q⊃h∩πC`αD`TPαD`DXαD DXαDD`αC@D`αC DhαβThαB@Tpαα TpαA`Txα↓`DxαA Eα↓Eα`Eλα Eλ∧∀@e⊂β∀`E⊂α∀@E⊂α∀@E⊂↓T Eλα∀ Eλα∀ 5α∀D("⊗CAx∂π@a((¬*↓(/A+p /↓P .↓+0(-A  ,A +A*`(+↓
P *↓
0()↓*⊂((A
 'A	`(&A)@(&↓	10%¬I!0"Q⊃⊂
Db0@β∪a4pεS@00α∪  Hα⊗E@α⊗E8α∀↓4pεS`(α∩`P8α∩@@@α∩@@@α∩@@@α∩@P(β∩B∧X∧@ D`β`D("_BA8∂π@` (↓
 (↓
 'A	p 'A	p 'A	` '↓@('↓⊂H'βi`0αA)P(∧↓	P ∧A	P ∧A	P ∧A	@ ¬↓	@ ¬↓	@ ¬↓	@ ¬↓	@ ∧A	0 ¬↓	0 ∧A	0(βA)00α↓I0x%↓ @%↓0("Q1λ
Db0@β∀↓$xε∪@@0↓∪ @@SDXα∩`DXα∩@DPα∩@DPα∩@DPα∩@PHR`@0α∪↓Th¬∪@t("→αqX∂πB  .↓@ .↓@ -A0 -A0 -A  )↓ 0 (α ⊂ '∧	`(αAIP ∧↓	@ ∧A	0 ¬↓	0 ¬↓	0 ∧A	  ¬↓	  ¬↓	  ¬↓	  ¬↓	  ∧A	  ∧A	 (βA)0(α↓i0XA	@HA	`(↓AλT 2DBQ_	Be¬∪aDpαADhα↓`4`αα4Xαα@4XλRb∧PλR@DPα∩@DPα∩@DXαα ∀XαA D`εS!$xβ⊃(F0λE#ap¬AJ0@)α*⊂ (↓
_'A	p 'A	p '↓	 `%β	 `'↓	P &A	P &A	@ &↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT 3F#⊃h	B`P(α∀b¬⊂λT @ α∀@0α∪`@8α∪`@8α∪`@8α∪`@0α∪`08α∪`@(α∪`@ αSaDp¬S@ ⊂αS@$h↓S!Tpπ∪At`	∩`PHαR`@Xα∩@@`α∩@@`α∩@PPα∩`P8αS↓thεSa∧("~αA8∂π@` (↓
 (↓
 'A	p 'A	p 'A	` '↓@0'↓ H'∧	`0αA)P0βA	P(∧↓	P ∧A	P ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	0 ∧A	0 ∧A	0 ∧A	0 ∧A	0 ∧A	  ∧A	  ∧AλT 4BAQx∂A@Eα∀Eα⊃a α∪@Dpα∪@Dhα∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩`DPα∩@D("~B@x∀πb ,A⊂ ,Aλp@εA
p +A
p +↓
` +↓
` *A
P *A
P *A
@ *↓
@ *↓
@ )A
0 )A
0 )↓
  )↓	0⊂α↓	0H%α)@0"Q
1(πC`0α∀Eα∀Eα∪`Dxα∪`Dxα∪`Dpα∪@@@αS@@8α∪@@0α∪@@(α∪ @(α∪ @_αS @⊂α∪ @λα∪@λβ∪↓4`ε∪`λαS@ αR`@(αR`@0α∩`@0αR`@8α∩`@8αR@@@αR@@HαQ(F`¬CCapβ↓
 (↓
 (↓	p 'A	p 'A	p '↓	` '↓	` '↓	P &A	P &A	@ &↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT 6H$A_	A@ β↓`dpαA⊂ ∧SBλε∪@`(∧↓ Thβ↓``8α∪ P@αBDhαα @Hα∪ @Hαα D`αα @Hα∪@Hαα D`αα @Hα∪@Hαα D`αα @Hα∩`@Hαα DXαα @Hα∩`@Hαα DXαα @Hα∩`@Hαα DPαα @Hα∩@@Hαα D("≠BA8	D`@ α↓I` ↓α)a'↓@P(&A@p &A! &A↓⊂ &A↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %↓↓⊂ %↓↓⊂ "Q
q Db0Hβ∀!$xεS@P(αS @@αS@Pα∪0Xα∩`@Xα∩`@Xα∩@@`α∩@@`α∩@@`α∩@@Xα∩@@Xα∩@@Pα∩`@@α∩`P(αS↓Th¬S`d("≤αa8∞∧`` α↓* B*x(↓@@0'A p('A↓⊂ 'A↓⊂ 'A↓⊂ '↓↓  '↓↓  '↓↓  '↓↓  '↓↓⊂ &A↓  &A↓⊂ &A p(&A@@0&Ci@ ↓α	@ ↓A)@ &↓	0 %A	0 %A	0 %↓	  "Q∞⊃ πα0@α@`E∧@Dx¬ DpαAthα↓`T`αα DXαB DXαα@DXαα DPαα@DPαα@DPαα@DPαα@DPαα DPαα DPαA`TXαAtX¬@ D`∧@ Dhβ`E0α∃@E(α∃ E(α∃ E(α∃E α⊃(G⊂πDB1_α↓@_'↓ ('↓⊂0'α	P8&AIP(&A	@(&↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT 9DBA_	B↓¬ε∪aTpα↓`$hα∪ Dhα∪ Th∧SA$x¬∀!¬(α∃ E(α∩@ Hα∩@@0α∩ATX¬S t("≥↓Q⊂F @ '↓	` '↓	` &A	 h%β) h&A	@ &↓	@ &↓	0 %A	0 %A	0 %↓	  %↓	  ↓@I H%α)00"Q∞Q ∧b0_αα Dhαα Dhαα Dhαα D`αα D`αα D`αα D`αα DXαα DXαα DXαα DXαα DXαα DPαα DPαα DPααTPα↓@tPλRA0λα∪` α⊃(G0	Fα1_↓↓  %↓↓  %↓↓⊂ %↓↓⊂ %Ap %Ap_%A` %AP %AP %A@ %A@ &`0 &`0 &`  &` _&` _&`⊂_&↓iP(&A(T ;G$!_	@@@ααDPα↓`P@α∩@@8αA`DPα↓@0λ↓A@DPα↓@ ⊂↓A@4Pα↓ 0⊂↓A DPα↓ 0⊂↓A 4Pα↓0_↓ADX↓A0_↓A4X↓@`0 ↓@`DX↓@`0 ↓@`4X↓@` (↓@@DX↓@@0(↓@@4X↓@@ 0↓@@4X↓@ 00↓@ 4X↓@  8↓@ 4X↓@  8↓@ $XαBdXαBTXαα T("≡αq8	D`P ¬↓	p(∧↓
 βA
⊂ αA
⊂ α↓
  ↓↓
 H)Aj@(*↓
@ )AJ _@j⊂_↓↓
_α↓	p_αA	`_βA	P βA	@ ∧A	0 ¬↓(T <Fβ↓`	A @Pα∪`@Pα∪`P@α∀@@α∀@8α∀@0α∀@0α∀@(α∀ @ α∀ @_α∀ @_α∀ @⊂α∀ @⊂↓T@0⊂↓T@0λ↓T@0λ↓T@0λ↓∀@U_α∀`5_↓T@5λα∀ 5↓S`DXβR@tPαQ(GP
¬"1_αCipx'CK +A
` *A*@(*↓
0 )↓
⊂ (↓	p '↓	P &↓	1%∧	!"Q↓@∞GC`0λTα∃λTEα∪`Dxα∪`Dxα∪`Dpα∪@Dpα∪@Dpα∪ Dhα∪ Dhα∪D`α∪D`α∪DXα∩`DXα∩`DXα∩@DPα⊃(@λ⊂Hcap
↓+`0.Ak@ @k@_↓k0 ↓↓  ↓A _α↓⊂ α↓ β↓ β↓
p βA
` ∧↓
` ∧↓*P ¬↓
@ ¬A
@ ¬A
0 ε↓*  π↓
  π↓
⊂ πA
 λ↓* λA	p 	↓	` 	A	` 	A)P 
A	Ap&πI2%λ(T ↓πDB∂C`u0ε∃↓u_β↓ eλαB@UαCTxαC@Dxα∧Dpα∧ Dhα∧@Dhα∧`D`α¬D`α¬DXα¬ DXα↓↓P α∩`@ ε@`DPα↓↓P α∩@@ εADPα¬ DPα¬DPα¬DPα¬DPα∧`DPα∧@DPαD DXα∧DXαβ`D`αβ D`αB@Thβ↓@dpλ∀↓E⊂βQ(@_FCapλA (-↓K⊂_@k_↓k_A
p A
p_↓↓
` ↓↓
`_αjP αjP_αA
@ αA
@_β↓
0 β↓
0_βA
  βA
 _∧↓
⊂ ∧↓
 ∧A
 ∧A)p ¬↓)p ¬A	` ε↓	` ε↓	P εA	P_π↓	@ π↓	@_πA	0 πA)0_λ↓(T αλ$1p∂↓C%
∀β$8¬↓bEλ
∀αD8ε#$P
∩C$("↓#R⊂∂π@a0(¬J↓0(↓↓` (↓↓` 'A↓` 'A↓` 'A↓` 'A↓` 'A↓` '↓↓` '↓↓` '↓↓` '↓↓` '↓↓` &A↓` &A↓` &A↓` &A↓` &↓↓` &↓↓` &↓↓` &↓↓` &↓↓` %A↓` %A↓` %A↓` %A↓` %A↓` %↓↓` %↓↓` "Qbλ∩πC`0
∀β%
∀UλαT U⊂αT`U_αUU αU U(αU@U0β∃`U8α∃@E(αUU_αT@UλαTUα∪`TpαS T`Rc∀P
⊃(@8∞I#qxβ↓A⊂('α `H&B`@P&↓ @_↓A0(%A `⊂↓@`P %Ap_@`` %↓↓_@@p +↓Jp +↓*`(+↓
` +↓
` +↓
P *A
P *A
@ *↓
@ *↓
@ )A
0 )A
0 )A
  )↓λT ∧εD↓p∂β@E@α⊗E@α⊗E(∧∀Aeλλ∪``⊂α dpαA@_αS @(α↓ T`α↓@@0α∩`P0α↓@DXα↓`@0α∩`@8α↓@DPα↓`@8α∩@@8α↓`DPα↓`@8α∩@@8α↓@DPαA @0α∩`@(α↓ TXαA@ αS`⊂α dhλSaUλ∧∀`E_α∀`E⊂α∀@D("α#b0∂πA` ,↓ %A! β↓I00βA`0%↓`` β↓I@(β↓`(&↓ ` αA)@(β↓P &↓ ` αA	@ β↓P &↓` αA	@ β↓P &↓` αA	@ β↓@ %A P αA	0 β↓P %A P α↓	@ αA@ &↓@ α↓	@(↓A0(&↓ 0 ↓↓)P0BI`x'C
⊂@)A
0 )A
  )↓λT ¬λ∧!x∂D!¬@εUB¬(β↓@e_βα@U⊂αC U⊂αβ`Eλα∧Eα∧ Uα∧@Eα∧@Dxα∧@Dxα∧@Dxα∧@Dxα∧ Dxα∧ Dxα∧E↓DE↓C`Eαβ@5αβ Eλ↓CEλ↓C5λαα@5⊂↓B E⊂↓B 5⊂↓B5⊂↓B5⊂↓A`4X¬↓a4P¬AA4P¬AA4("αA@∂π!0()B*⊂`(↓ 0('A` 'Ap '↓↓ 'a⊂ &A↓⊂ &A↓⊂ &↓↓  &↓↓  &↓↓  &↓↓ _%A↓  %A↓  %A↓  %A↓  %@a  %↓↓  %↓↓  %↓↓ _%↓↓⊂ %↓↓⊂ %↓↓ %↓↓_%A` %A 0(&αiPH'↓HT _DαAh∞C`∃8↓Ue¬∪a$xα@E(α∃ E(α∃E α∃E α∃E_α∀`E_α∀`E⊂α∀@E⊂α∀@E⊂α∀ Eλα∀ Eλα∩adXπ∩At("BqH∞G!@0*αJ h(AP((@A((a⊂ '@a  '@A0('@A0 '@!@ .↓@ -A0 -↓⊂ ,↓
p +j@ )A
 _(@ip '↓	P_&i1⊂%∧I!⊂"Qε1(πCPXβ∀a%λεTP(α∪`@@α∀ Hα∀⊂Pα⊗`EX↓V@EHα⊗ E8αTa¬⊂βTA¬8α⊗EH↓V EHα⊗ EHα⊗DPC DP↓α`DP↓B DPαA@TXεS!$xβ⊃(C 
EcA`πA+⊂(, ⊂ +@ ⊂ +@⊂ *@`⊂ *@@  *`  )@`  )↓  )`0 (@`@ (↓@ 'A@ '@`P '↓P &A` &↓` &`p %E	1 %E
P *A
P *A
P *↓
@ "QεQ(π#@8π∀↓uπTEα∪`Dxα∪`Dxα∪`Dpα@TpεSAdpβ↓Dpα↓`DhαA`DhααEHα⊗ EHα⊗ E@α⊗DXCDP↓B@DP↓B DPαA TXεS↓$pβ⊃(C0	EcahεA*P@)BJ (αJ⊂ (↓	p '↓	` &A	P ↓A)@ ↓α	@ BI@8α↓)00βA	0(∧↓	0(∧↓	0 ∧A	0 ∧A	  ¬↓	  ¬↓	  ¬↓	  ¬i  ∧A	  ∧A	0_∧↓	0 β↓	0(α↓	@X&B)p("Qεq_
πβ@λ	∩b$X	⊗ 5@↓U`50↓U 5 α∀`E_↓T@Eλα∀ 5α∪`Dxα∪@Dpα∪ Dhα∪D`α∪DXα∩`DXα∩@DPα⊃(C@
εβah¬↓J P(C
(α↓	p βA	p βA	` ∧↓	` ∧↓	` ∧↓	` βA	` βA	` β↓	p ↓A*H(AipX&AP(&↓p %A↓⊂ %A↓⊂ %↓↓  %↓↓  %↓↓  %↓↓⊂ %↓↓⊂ %↓↓ %↓p(%↓ P(%C)@P'↓HT ≤E#↓p∞B`e ∧∀A5λαAEα↓`4xααDxααDpαα Dpαα Dhαα@Dhαα@Dhαα@Dhαα Thαα Dhαα DhααThα↓`dpα↓↓∧pπSa⊂α∀P ↓VE@↓U`E0α∃@5 α∩`0(α∩ADX¬∪ d("	αaH⊃H!`_,k_+↓J@X)βJ⊂(@`  (@`0_α*_↓@ip_αip_αip_αip_αip_↓@ip ↓ip(@j@(αJ⊂P)B
@@*`⊂ )@`0_)@`0_)@`0_)@`0_)@`0⊂)`0_%@ `_↓↓	 _α@`⊂ %↓ 08%C)@X'AJ⊂_(@hT ∪πd"∂C`U8∧∃A%(α`E(↓AE ↓A E ↓A E_α↓ E_↓A@E_↓A E_↓A E⊂α↓E⊂α@U⊂α PPTAXα∀@p`↓T`P`α∀ `h↓Tp`α∪a⊂Pα∪ P⊂αα@4`α@`P@↓S@ αA`DXα↓@P(α∩`@0αADPααP⊂α∩@@H∧R@@H∧∩@PHβ∩`P(¬↓@$X
S↓@_¬S@pHβ⊃(CxπEcapαAi@`%CI0 β↓	0λ∧A
P *A
P *↓
0()↓*⊂ (↓	p '@i` 'iP &@iP_&@iP⊂#A ⊂ %A	  %↓λT ∨βb⊃p
B`E α∃E α⊃`PH↓T`5_↓T@E⊂↓T@5λ↓T 5↓S`Dpα∪ D`α∩`DXα∩@DPα∩@@HR@P(α∩ad`¬S t("∧↓X	D`@ '↓	` '↓	P &A	P &A	@ &↓	@ &↓	@ %A	0 %A	0 %A	  %↓λT λD!A`	C E8α∃`E8α∃@E0α∃@E0α∃ E(α∃ E(α∃ E α∃E α∃E α∀`E_α∀`E_α∀@E⊂α∀@DX↓↓DX∧RA∀`β⊃(AH
¬cap¬AJ0H)αj⊂ αA
 β↓	p βA	p βA	p βA	p β↓	p β↓	` β↓	` ↓AI` ↓A)` ↓AI` αA)P βA	P ∧↓	P ∧↓	P ∧↓	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	0 ∧A	0 ∧A	0 ∧↓	0 βA	0 ↓Ai  ↓Ai  ↓↓HT 
πd!_	Bp8αSa0_¬∪APλε∪@00∧ADh↓α `8↓VP@α⊗P@α⊗α∃ 
∪c∀hπ∪`(α∩`@@α∩@@Hα∩@@@β∩@@@βα ∀PαA! (↓RaPλεRa@_¬∪↓@β⊃(AX⊃	"1_∧AA ((B@PP'C 0`'↓ P(A @ &A↓@β@i@ ¬↓A &a00∧↓	0 ¬DI0 ¬D)  ε∧)  ε↓	  ε↓	  ¬A)  ¬A)  ¬↓i0 ∧α↓⊂λ%A P(A@P_&β 0h&B`PP'AA 0"QβA@Gαq(↓W@Ehα↔ 5(β 5_ε∀!UαAdxα↓@tpα↓@0λα∪@@(α Dhα↓ @⊂α∪ @(↓@`D`α↓ 0 α∪@ ↓A D`α`@(α∪@⊂α↓ D`α@00α∪@λ↓A@DhβA Dhβ↓TpεSADh↓@ d`α∩`DX↓R@4("π%"X∂πB10.EKA8-A0 -A0 -↓0 ,A@ ,A@ ,↓P ,`` +AP +↓` +↓` *Aq*↓↓↓*↓q)A↓ )A↓ )↓↓⊂ (D*⊃λ(∧J_¬A	p ¬A	` ¬A	` ¬A	P ε↓	@ εA	@ εDI0 εDI0_π∧HT ∂
fα∂C`u0∂∃∧¬_β↓BUλαB eαB`TxαCDxαβ Dpαβ Thαβ@Thαβ@T`αβ`D`↓DDXαβ`TXαβb4Xαβb4Pα∧α$Pα∧DPαβ`TPαβ`TPαβ`DPαβ`DPαβ`DPαβ@TPαC TXαβ DXαB`T`αα`T`αB dhβ↓Btp⊂Sd¬⊂βQ(Ax∂	∧2
k⊂8↓A
a*∧*00αAJ⊂(¬↓*(¬↓ip(¬Aip ¬@`  '↓↓0 ↓↓	P ¬A0 &A↓0_αA	@ ¬@`` &↓↓  β↓	0 ¬↓p %A↓ _∧↓	0 ∧@a %↓↓⊂ ∧↓	  ∧↓↓⊂ %↓↓_¬↓	  β@a  %↓`_¬A	  αA↓0 %↓P_¬A	  αa0 %↓0_ε↓	0 A↓0 %A⊂_¬A	@0¬A	@(¬↓)P0β↓IQλ&`⊂`%@`@8%@i@λ"Q∧⊂PπGC`0α∀Eα∀Eα∀4xα∪`Dxα∪`4x↓S@Dpα∪@4p↓S@4hα∪ 4h↓S 4h↓S $8α@ DXα∩@DPα⊃(C`¬CCa(βA
 (↓
 #A P_'@ip_'↓	`_'i`_'iP &@iP_&@i@ &↓	@ &i0 %A	0 %A	  %↓λT ⊃H$R8∂¬⊂HW  @↓↔  @↓↔ @↓↔ @↓⊗` @↓⊗` @↓⊗` @↓⊗@ @↓⊗@ @↓⊗  @↓⊗  @↓⊗ @↓⊗ @↓∪#dh∂∃@ @↓∃@ @↓∃  @↓∃  @↓∃  @↓∃ @↓∃ @↓∃ @↓∩cdX∂∀@ @↓∀  @↓∀  @↓∀ @↓∀ @↓∀ @↓∪` @↓∪` @↓∪@ @↓∪@ @↓∪  @↓∪  @↓∪  @↓∪ ⊂HQ(B(∞	∧2λβ↓α⊂λ'AAp⊂'α↓P⊂&A⊂ εI@ ↓@a0⊂&`@_¬@I0 α↓↓⊂⊂%A@ ∧I  α↓↓⊂%↓@ β@I  α↓p⊂%↓@ βI  ↓A`⊂%↓0 α@I  ↓↓`⊂%↓  α@I0@α@I08α@IP_β@@` +@`0*@@`@*@` ↓j0⊂β↓0 )@@` ↓A
 ⊂β↓@ (@@p α↓
⊂∧↓@ (@p α↓	p⊂∧↓@ 'A⊂ α↓	P⊂¬↓0 &A0 ↓A	@⊂ε`  %@AP@%Ap0%"⊂ "Q∧p0πα#`⊂α∪D`α∪Dh↓∪ $`↓∩`$X↓∩@$("
α!(⊗H!p_,jp_+jP_*j0_)↓
⊂ (@j (ip '@i` '↓	P &A	P_&↓	@ &↓	0 %A	0 %A	0 %A	0_%↓	  %↓	  %@i0_%@i0 %A	0 &i@ &@iP 'ip_(hT ∀D""h⊂B 5 ↓U 5(↓U@50↓U@E8↓U`58α∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃@E0α∃@E0α∃ E(α∃ E(↓UE α∀`E_α∀@E⊂α∀ Eλ↓TDxα∪`4p↓S 4`↓R`4P↓Q(BP	FB2λ¬J0_)@j0_&@P_α@)@_α@@ %A@ ⊂↓↓)P@A)`P(↓J0'αI@p%↓  _↓↓) _α@@ %@P⊂α@J_(j_(HT ∃G$!x
∧@∃X↓⊗`%X↓⊗`%X↓⊗@%P↓⊗@%P↓⊗@%H↓⊗ %H↓⊗ $X∞∩cE@↓⊗%@↓∃`%8↓∃`%8↓∃`%0↓∃@%0↓∃@%(↓∃ %0Q(B`βB!⊂_↓A	P &↓	@ &@IP⊂&I@⊂%@I ⊂"Q¬`(∧@`0λα∩`DPα∩@D("c⊃P⊗λ#λ0@L⊂0Kp⊂/@K`⊂/KP⊂.K@⊂-@K0⊂-K ⊂,@K⊂⊂,K⊂+@Jp⊂+JP⊂*@J@⊂*J0⊂)@J ⊂)J⊂⊂(@J⊂(Ip⊂'I`⊂&@IP⊂&I@⊂%@I0⊂%I λ"Qπ @ε∧b0 α∪@Dpα∪@D8ε DXα∩@DPα⊃(CX¬ββ⊃_β↓
 (↓
 #C0 &A	@ &↓	P⊂&@I@⊂&I0⊂%HT ≡Gd0XλcDh∞⊃aλ∞∩cD("⊂β⊃x∂πA`8+αj@p)↓@` (A!((↓!  'ApH'↓`X&A @h&A@(↓AI@ αAP(&↓@ β↓)0 α↓↓ %A@ ∧↓	0 α↓p(%↓@ ∧↓	  α↓↓ %↓@ ∧↓	  α↓p %↓@ βA	  α↓ P %↓P α↓	 (αBI0 βα	0 βA)@ &↓)P0∧↓)a(β
 @"Q1	∧⊂HβT`u_βT@E⊂α∀@E⊂α∀@5λα∀ Eλα∀ Eλ↓TEα∀E↓T4xα∪`Dxα∪`4pα∪@Dpα∪@Dp↓S Dhα∪ Dh↓S 4`α∪D`α∪4Xα∩`DXα∩`DX↓R@DPβR@tPβQ(EhλβeBλ∧Aj08)Aj`_+jP *A
P *@j@ *↓
@ *↓
@_)A
0 )A
0 )@j  )↓
  )j _(A
⊂ (A
⊂_(↓
 (↓
 (ip 'A	p '@ip_'↓	` '↓	`_%↓i 8%↓hT 0↓ApH∂↓$h↓∪ $`↓∩`$X↓∩@DPα∩@DPα⊃(A⊂∧∧@ap↓	0 &↓	P_'i` '@hT 	BC0∂↓@Dxα∪@Dhα∪DXα∩@4("¬α↓Hβπ_¬i0_βA	@_αA	@ ↓A	P@'↓Ip "QαPxAc`α↓`4P↓B4Pα↓`4X↓A@4Xα`DX¬S↓∧pα⊃(A0λF !XD	1%∧λT Bc@0∂`dX∧R@@ ↓R@0(↓R@0 ↓RA∀`β⊃(0β∂x␈␈␈p@↓Ox␈␈}␈x␈␈␈@(↓S@4h↓S4X↓R@D("λ↓@pαD! ⊂(A)PH%αI 0%hT /∧β0∂↓`Eβ∪a∧pα@Dh↓A DXα↓`4P↓B@4("↔`Px↓G`⊂ %↓	  %↓λT >Cc0∂`@ α∪ @ α∪@ α∪0(↓R`@ α∩`0(↓R@0(↓Q(GpπFAhα`P_&↓`0_%C)0_↓AI _αAλT ?C#_∂@ @ α∩`@_α∩@@ α∩@@ α⊃(@X∂λCap¬A`P8)B 0H)α@ P(A↓ (↓↓ (a⊂_'A↓ 'A↓ 'A↓ 'A↓ '↓↓ %β 0H%β 0H%β 0H'↓↓ &A↓ &A↓ &A↓ &A↓ &↓↓ &↓↓ &↓↓ &↓↓ &↓↓ %A↓ %A↓ %A↓ %A↓ %A↓ %↓↓ %↓↓ "Q↓A8
Gcq_α∃ P_α∀`p_α∀A_α∀ Eα∀4xα∪`Dxα∪`Dpα∩A`_α∩A`_α∩A`_α∪@@Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪@Hα∪@Hα∪@Hα∪@Hα∪@Hα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩@@Hα∩@@Hα⊃(@hπβap¬A 0 )A`0 )α0 (A↓ (↓↓⊂ (a⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ '↓↓⊂ %β@0 %β@0 %β@0 '↓↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %↓↓⊂ %↓↓⊂ "Q↓b_∪Gcqxα∃ `0α@`E_∧↓ `_α∀A⊂ β@`Eλαα Eαα E↓B@4xαα Dxαα Dxαα Dxαα Dpαα DPεA↓⊂_α∩AP ∧@`DPεA↓⊂_α∪@@HααDhαα @@α∪ @HααDhαα @@α∪ @HααD`αα @@α∪@HααD`αα @@α∪@HααD`αα @@α∩`@HααDXαα @@α∩`@HααDXαα @@α∩`@HααDPαα @@α∩@@HααD("βdB@∂πA00β↓ 0 )BP0↓A
 Hα↓`0 (A↓⊂ βA
 ∧A↓ (a _∧↓	p ∧A↓ 'A↓⊂ ∧↓	p ∧A↓ 'A↓⊂ ∧↓	` ∧A↓ %β @H↓A	 hαα 0 %β @H↓A	` ∧A↓ &A↓⊂ ∧↓	P ∧A↓ &A↓⊂ ∧↓	P ∧A↓ &↓↓⊂ ∧↓	@ ∧A↓ &↓↓⊂ ∧↓	@ ∧A↓ &↓↓⊂ ∧↓	0 ∧A↓ %A↓⊂ ∧↓	0 ∧A↓ %A↓⊂ ∧↓	0 ∧A↓ %↓↓⊂ ∧↓	  ∧A↓ "Q∧ x
B#`⊂α↓ D`α↓ D`α↓ D`α↓ Dh↓↓`$h↓↓`$`↓↓`$X↓↓`$X↓↓`$P↓↓`$("!0p↓α`P%αI P"Q@x
B#` ↓↓`$h↓↓`$h↓↓`$`↓↓`$X↓↓`$X↓↓`$Pα↓ DPα↓ DPα↓ DPα↓ D("≡bqH↓β ⊃0%EI!0"Q∂Bp_APλ⊗ReTP⊗Q=q4YVp:~,fH2\D∧_&Tj4HwE,6x2~-f89Xmε(6Y$¬ 2V∧π 2↑∞Nxε→Mvp:→L⊗_2XO↔ 2|`∞`∨β`HαXPebpα>fpα>f␈x␈␈␈0ε∨x␈␈}@∧∨0ε @{ 

>`λ∪↓[ ⊂↓ ==@" β→$αNx{c@¬∧↑ ¬.o0απ`P{ 
|}`(⊂@↓:λ∃@↓0λ=@bλα|εαhh{↓d@ε2H¬Z/0∧λ Xp_M}`H∩↓LP ↓8\=A"λα|εβ∧X{αc0∧ev
∃/0εε @h%∀K>`h@↓
JαHQ=Ab(β,∨ ¬"({βdPεX>@
[∂0λα`_vA`∂≡aλεFλ{@↓p↔⎇B!8απ∞∧v⊂{∧bp∧∞≤	n␈0
¬`@≤8∪c≡a(@↓β@pα8T⎇Ba8απ∞∧|P{¬d επ`p	z␈0¬8'@∪|↑aH}0Z↓p9=C"λα|εβnx{εd@ε2Hπho0∞¬`@≤8∂k>ah∀↓b`≤@α⊂=Cbhβ␈␈H∧	8{πd@ε2Hλ"o0⊂α`_vA`∀ε≡bλπ@S(\@αλd⎇D!8απ∞¬9H{λd`εm∧λH?0∩¬`@≤8∞≠≡b(∪↓[ ⊂α⊂q=Db_β∂↓ βNX{	aPα$,λu←0∀∧@02H⊃r≡bH	f(⊂α ∃⎇E!8απ∞∧Hp{
d@ε2H	~␈0⊗β  HX∩G↑bhπ@WX αXd=E`h↓∩⊗∧SH{bp∧∞≤	)∂0_¬`@≤83≡cλ@↓β@p↓H!⎇F!8απ∞β_@{bp∧∞≤ε;∨0~¬`@≤8
↑c(@↓β@p↓PH⎇Fa8απ∞β.0{
bp∧∞≤εj∨0≤¬`@≤8
d↑cH@↓β@p↓`↓⎇G h↓∩⊗∧ZH{∞aPα$,	8/0≡β`(~n ⊃↓↑ch∩↓LP α(s⎇Ga0↓x?β[x{∂b`βp}π/o0 π`P{ ∩}≡dλ∂@↓/`i⊃⎇H!xα←~H	P{⊂cP¬ 2!?0"λ Xqb W≡d(∞↓≡0λi⎇HaPα-7!@{⊃cp¬=PK←0$λ XPJ`↓0↑dHε@I8Y_∨⎇I!0↓xqH8 {∩d¬\8 y␈0&ε @{ α∃≡dh∀↓epe@ L⎇Ibλαt∩XX⊂{∪d ε	<p↓F␈0(π PB. β-↑eλ⊃↓B(s@8	⎇J!pαTw`z0{∀c ∧HXαβ←0*π`X≡↓`∧≤≡e(⊂↓4p␈@Z⎇Jaxα←M⊂↓∪0{∃e@πcF α6?0,π`P}4@¬'≡eH∂@↓/`iXλ⎇K!`αAJ↓7 {⊗aPα1c0	P←0.¬`@≤8∃u>ehε@L8
@α0s=Ka8απ∞¬αX{↔aPα$,
	∂00β  HX∪Q}fλ}0ZX\⎇L!@α∂f8↓?`{_b@βS`β←02ε@?→`ε'≡f(
tx↓hβ⎇L`p↓ e↓T⊂{→bp∧∞≤β0␈04ε@?→`ε{≡fH¬@>hβ@p+⎇M `↓∨8↓i{~bp∧α.pβ[←06α`_vA`πQ↑fh∩@↓Pxc@xE⎇Ma@α∂f8α@{≠bp∧∞≤∧←08ε@?→`λ*≡gλ↓πp3@↓λε⎇N!↓3` α↔0{≤b β∪7`∧5?0:∧ (xλx≡g(↓πp3@↓⊂∞⎇Na(↓rH8α'⊂{≥cp¬Op∧X?0<¬ 8J!`	V≡gH
@y C@↓_Q⎇O! ↓d↑Hα@0{≡bp∧∞≤O0>@↓8p⊗∧>gh@↓β@pα@+⎇Oa8απ∞¬πP{∨bp∧∞≤
∩?H¬EPAw{⎇xow{⎇x